Electronic Books

Total Books: 21 - 39 /39
Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...

Lire la suite
Parallel Problem Solving from Nature - PPSN IX

We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...

Lire la suite
RoboCup 2006: Robot Soccer World Cup X

This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...

Lire la suite
RoboCup 2007: Robot Soccer World Cup XI

The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...

Lire la suite
S-BPM in the Production Industry

This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...

Lire la suite
Self-Managed Networks, Systems, and Services

This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...

Lire la suite
Self-Organizing Systems

This book constitutes the refereed proceedings of the First International Workshop on Self-Organizing Systems, IWSOS 2006. ...

Lire la suite
Self-Organizing Systems

The 17 revised full papers and five revised short papers presented together with two invited talks were carefully selected ...

Lire la suite
Self-Stabilizing Systems

Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...

Lire la suite
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...

Lire la suite
Software Engineering and Middleware

Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...

Lire la suite
Stabilization, Safety, and Security of Distributed Systems

This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...

Lire la suite
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Lire la suite
Symbiotic Interaction

The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...

Lire la suite
The Adaptive Web

Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...

Lire la suite
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

Lire la suite
Unconventional Programming Paradigms

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...

Lire la suite
Unifying Themes in Complex Systems, Vol. IIIB: New Research

This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...

Lire la suite
User Modeling 2005

The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...

Lire la suite
Total Books: 21 - 39 /39